$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. ({-}($a$ rem $n$)) = (({-}$a$) rem $n$)